Nuprl Definition : loc-ordered
11,40
postcript
pdf
loc-ordered(
es
;
L
) == l-ordered(es-E(
es
);
x
,
y
.es-locl(
es
;
x
;
y
);
L
)
latex
Definitions
l-ordered(
T
;
x
,
y
.
R
(
x
;
y
);
L
)
,
es-E(
es
)
,
es-locl(
es
;
e
;
e'
)
FDL editor aliases
loc-ordered
origin